منابع مشابه
Safe Recursive Set Functions
We introduce the safe recursive set functions based on a Bellantoni-Cook style subclass of the primitive recursive set functions. We show that the functions computed by safe recursive set functions under a list encoding of finite strings by hereditarily finite sets, are exactly the polynomial growth rate functions computed by alternating exponential time Turing machines with polynomially many a...
متن کاملCobham recursive set functions
This paper introduces the Cobham Recursive Set Functions (CRSF) as a version of polynomial time computable functions on general sets, based on a limited (bounded) form of ∈-recursion. This is inspired by Cobham’s classic definition of polynomial time functions based on limited recursion on notation. We introduce a new set composition function, and a new smash function for sets which allows poly...
متن کاملThe Set of Primitive Recursive Functions 1
We follow [31] in defining the set of primitive recursive functions. The important helper notion is the homogeneous function from finite sequences of natural numbers into natural numbers where homogeneous means that all the sequences in the domain are of the same length. The set of all such functions is then used to define the notion of a set closed under composition of functions and under prim...
متن کاملArithmetical classification of the set of all provably recursive functions
The set of all indices of all functions provably recursive in any reasonable theory T is shown to be recursively isomorphic to U × U , where U is Π2-complete set.
متن کاملTcs Technical Report Learning Recursive Functions Learning Recursive Functions
Studying the learnability of classes of recursive functions has attracted considerable interest for at least four decades. Starting with Gold’s (1967) model of learning in the limit, many variations, modifications and extensions have been proposed. These models differ in some of the following: the mode of convergence, the requirements intermediate hypotheses have to fulfill, the set of allowed ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2015
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2015.26